McCulloch-Pitts 神经元模型

概述

McCulloch 和 Pitts 于 1943 年提出将神经元建模为二值逻辑单元的数学模型，证明了由这种简化神经元组成的网络可实现任何命题逻辑运算，计算能力等价于图灵机，为人工神经网络奠定了理论基础。

历史背景：1940 年代神经生理学已证实神经元遵循"全或无"定律，数理逻辑领域 Godel、Church、Turing 精确定义了"可计算性"。McCulloch（神经精神科医生）和 18 岁天才少年 Pitts（精通数理逻辑）将两个领域联系起来。
核心问题：将神经元简化为二值逻辑元件（激活=1，静默=0），由这种元件组成的网络能否实现所有命题逻辑运算？计算能力是否等价于图灵机？
哲学意义：为功能主义（functionalism）提供数学先驱——心智状态由其在因果/功能网络中的角色定义，而非特定物质基质。为 AI 的可能性提供了哲学基础：非碳基系统也可实现思维。
与 Leibniz 的联系：McCulloch 深受 Leibniz"万能演算"理想影响——如果思维可形式化为逻辑运算，而逻辑运算可由物理装置实现，那么心身关系就是逻辑结构与物理实现之间的映射。
影响：与 Rosenblueth-Wiener-Bigelow 论文同年发表，共同构成控制论运动的"双子星"。是整个深度学习领域的理论起点。